Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
171	A Proof of Convergen e For the Alternating Dire tion Method of Multipliers Applied to Polyhedral-Constrained Fun tions João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, and Markus Püs hel De ember 11, 2011 Add to Reading List Source URL: www.ee.ucl.ac.uk Language: English - Date: 2013-07-05 07:45:59 Spectral theory Matrix theory Linear algebra Lie groups Spectral theory of ordinary differential equations Spectral theory of compact operators
172	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-03-16 14:24:44 Cryptography Computational complexity theory Proof of knowledge IP Witness XTR CPC Binary Barcode Zero-knowledge proof
173	Proving Autonomous Vehicle and Advanced Driver Assistance Systems Safety Add to Reading List Source URL: utc.ices.cmu.edu Language: English - Date: 2016-05-26 15:13:50 Formal systems Proof theory Logic in computer science Formal methods Theoretical computer science KeY Automated theorem proving Mathematical proof Formal verification Mathematical logic Modal logic Dynamic logic
174	Piotr KAŹMIERCZAK  +   http://piotrkazmierczak.com Munich, Germany Add to Reading List Source URL: piotrkazmierczak.com Language: English - Date: 2016-06-05 18:07:41 Non-classical logic Modal logic Modality Philosophical logic Logic Mathematical logic Haskell Proof theory Python
175	The Higher Infinite in Proof Theory∗† Michael Rathjen Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom 1 Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 11:31:22
176	TERM EXTRACTION AND RAMSEY’S THEOREM FOR PAIRS ALEXANDER P. KREUZER AND ULRICH KOHLENBACH Abstract. In this paper we study with proof-theoretic methods the function(al)s provably recursive relative to Ramsey’s theore Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2013-09-25 08:51:12 Proof theory Computability theory Logic in computer science Mathematical logic Intuitionism Primitive recursive functional Dialectica interpretation Peano axioms Second-order arithmetic Reverse mathematics Combinatory logic Primitive recursive arithmetic
177	Appendix K: Bibliography [1] R. L. Wilder. Cultural Basis of Mathematics I, II, III http://www.gap-system.org/~history/Extras/Cultural_Basis_I.html http://www.gap-system.org/~history/Extras/Cultural_Basis_II.html http:// Add to Reading List Source URL: www.wolframfoundation.org Language: English - Date: 2015-12-15 12:07:17 Mathematics Computing Academia Algorithmic Number Theory Symposium Computational number theory OMDoc Mathematical logic Proof theory Gerald Schwarz Colette Rolland
178	I NTRODUCTION A typed calculus of PRA Typing translation Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-05-13 11:20:35 Type theory Logic in computer science Proof theory Dependently typed programming
179	Quantum theory Constructive algebra and geometric mathematics Bas Spitters VALS - LRI, Paris-Sud Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-31 04:15:47 Constructivism Structure Mathematics Type theory Logic Constructive proof Axiom of choice Topos Mathematical logic Model theory Topology
180	A complexity analysis of functional interpretations 1 Mircea-Dan HERNEST a,2 and Ulrich KOHLENBACH b,3 a Laboratoire ´ Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 09:24:17 Logic Mathematical logic Proof theory Abstraction Intuitionism Constructivism Logic in computer science Model theory Dialectica interpretation Intuitionistic logic Realizability First-order logic

UPDATE